Automated conjecturing III : property-relations conjectures

Discovery in mathematics is a prototypical intelligent behavior, and an early and continuing goal of artificial intelligence research. We present a heuristic for producing mathematical conjectures of a certain typical form and demonstrate its utility. Our program conjectures relations that hold between properties of objects (property-relation conjectures). These objects can be of a wide variety of types. The statements are true for all objects known to the program, and are the simplest statements which are true of all these objects. The examples here include new conjectures for the hamiltonicity of a graph, a well-studied property of graphs. While our motivation and experiments have been to produce mathematical conjectures-and to contribute to mathematical research-other kinds of interesting property-relation conjectures can be imagined, and this research may be more generally applicable to the development of intelligent machinery

Moisture transport by Atlantic tropical cyclones onto the North American continent

Tropical Cyclones (TCs) are an important source of freshwater for the North American continent. Many studies have tried to estimate this contribution by identifying TC-induced precipitation events, but few have explicitly diagnosed the moisture fluxes across continental boundaries. We design a set of attribution schemes to isolate the column-integrated moisture fluxes that are directly associated with TCs and to quantify the flux onto the North American Continent due to TCs. Averaged over the 2004–2012 hurricane seasons and integrated over the western, southern and eastern coasts of North America, the seven schemes attribute 7 to 18 % (mean 14 %) of total net onshore flux to Atlantic TCs. A reduced contribution of 10 % (range 9 to 11 %) was found for the 1980–2003 period, though only two schemes could be applied to this earlier period. Over the whole 1980–2012 period, a further 8 % (range 6 to 9 % from two schemes) was attributed to East Pacific TCs, resulting in a total TC contribution of 19 % (range 17 to 22 %) to the ocean-to-land moisture transport onto the North American continent between May and November. Analysis of the attribution uncertainties suggests that incorporating details of individual TC size and shape adds limited value to a fixed radius approach and TC positional errors in the ERA-Interim reanalysis do not affect the results significantly, but biases in peak wind speeds and TC sizes may lead to underestimates of moisture transport. The interannual variability does not appear to be strongly related to the El Nino-Southern Oscillation phenomenon

The "Artificial Mathematician" Objection: Exploring the (Im)possibility of Automating Mathematical Understanding

Reuben Hersh confided to us that, about forty years ago, the late Paul Cohen predicted to him that at some unspecified point in the future, mathematicians would be replaced by computers. Rather than focus on computers replacing mathematicians, however, our aim is to consider the (im)possibility of human mathematicians being joined by “artificial mathematicians” in the proving practice—not just as a method of inquiry but as a fellow inquirer

Influenza and pertussis vaccination in pregnancy: Portrayal in online media articles and perceptions of pregnant women and healthcare professionals.

INTRODUCTION: Online media may influence women's decision to undergo vaccination during pregnancy. The aims of this mixed-methods study were to: (1) examine the portrayal of maternal vaccination in online media and (2) establish the perceived target of vaccine protection as viewed by pregnant women and maternity healthcare professionals (HCPs). METHODS: Online media articles on maternal vaccination (published July-December 2012 or November 2015-April 2016) were identified through the London School of Hygiene & Tropical Medicine's Vaccine Confidence Database and thematically analysed. Questionnaires for pregnant women and HCPs were distributed within four English hospitals (July 2017-January 2018). RESULTS: Of 203 articles identified, 60% related to pertussis vaccination, 33% to influenza and 6% both. The majority positively portrayed vaccination in pregnancy (97%), but inaccurate, negative articles persist which criticize pertussis vaccination's safety and efficacy. Positively-worded articles about pertussis tended to focus on infant protection and highlight examples of recent cases, whereas positively-worded articles about influenza focused on maternal protection. These themes were reflected in questionnaire responses from 314 pregnant women and 204 HCPs, who perceived pertussis vaccination as protecting the baby, and influenza vaccination as protecting the mother, or mother and baby equally. A minority of the pregnant women surveyed intended to decline influenza (22%) or pertussis (8%) vaccination. CONCLUSIONS: The majority of online articles support pertussis and influenza vaccination during pregnancy. The portrayal of pertussis vaccination as primarily benefiting the child, using real-examples, may influence its higher uptake compared with influenza. This approach should be considered by HCPs when recommending vaccination. HCPs should be prepared to provide advice to women hesitant about vaccination, including addressing any negative media, and consider educational strategies to counteract inaccurate information. Future studies should directly assess the influence of media on vaccine decision-making and establish which media platforms are typically used by pregnant women to gather information

Submillimeter Studies of Prestellar Cores and Protostars: Probing the Initial Conditions for Protostellar Collapse

Improving our understanding of the initial conditions and earliest stages of protostellar collapse is crucial to gain insight into the origin of stellar masses, multiple systems, and protoplanetary disks. Observationally, there are two complementary approaches to this problem: (1) studying the structure and kinematics of prestellar cores observed prior to protostar formation, and (2) studying the structure of young (e.g. Class 0) accreting protostars observed soon after point mass formation. We discuss recent advances made in this area thanks to (sub)millimeter mapping observations with large single-dish telescopes and interferometers. In particular, we argue that the beginning of protostellar collapse is much more violent in cluster-forming clouds than in regions of distributed star formation. Major breakthroughs are expected in this field from future large submillimeter instruments such as Herschel and ALMA.Comment: 12 pages, 9 figures, to appear in the proceedings of the conference "Chemistry as a Diagnostic of Star Formation" (C.L. Curry & M. Fich eds.

Advanced optical imaging in living embryos

Developmental biology investigations have evolved from static studies of embryo anatomy and into dynamic studies of the genetic and cellular mechanisms responsible for shaping the embryo anatomy. With the advancement of fluorescent protein fusions, the ability to visualize and comprehend how thousands to millions of cells interact with one another to form tissues and organs in three dimensions (xyz) over time (t) is just beginning to be realized and exploited. In this review, we explore recent advances utilizing confocal and multi-photon time-lapse microscopy to capture gene expression, cell behavior, and embryo development. From choosing the appropriate fluorophore, to labeling strategy, to experimental set-up, and data pipeline handling, this review covers the various aspects related to acquiring and analyzing multi-dimensional data sets. These innovative techniques in multi-dimensional imaging and analysis can be applied across a number of fields in time and space including protein dynamics to cell biology to morphogenesis

Perforated Meckel's diverticulum presenting with combined bowel and urinary obstruction and mimicking Crohn's disease: a case report

<p>Abstract</p> <p>Introduction</p> <p>Meckel's diverticulum is a common congenital anomaly of the gastrointestinal tract, but is an uncommon cause of serious complications in adults. Although cases of patients with hemorrhage, bowel obstruction or perforation associated with Meckel's diverticulum have been reported, there have been no prior reports of patients with combined urinary and bowel obstruction due to abscess formation.</p> <p>Case presentation</p> <p>We describe the case of a 21-year-old man with a history of recurrent papillary thyroid cancer, but no prior abdominal surgeries, who presented with a one-month history of rectal pain and new-onset obstipation with urinary retention. He reported night sweats and weight loss, and had a second-degree relative with known Crohn's disease. A digital rectal examination was notable and revealed marked tenderness with proximal induration. A computed tomography scan of the patient's abdomen revealed a large, complex, circumferential perirectal abscess compressing the rectal lumen and base of the urinary bladder, associated with terminal ileal thickening and an ileocecal fistula. A flexible sigmoidoscopy with an endorectal ultrasound scan displayed a complex abscess with extensive mucosal and surrounding inflammation. An exploratory laparotomy revealed a Meckel's diverticulum with a large perforation at its base, positioned near the ileocecal fistula and immediately superior to the perirectal abscess. The section of small bowel containing the Meckel's diverticulum, the terminal ileum, and the cecum, were all resected, and the abscess was debrided.</p> <p>Conclusions</p> <p>Pre-operative diagnosis of Meckel's diverticulum can be difficult. If the nature of the complication makes ultimate surgical management likely, an early laparoscopic or open exploration should be performed to prevent the morbidity and mortality associated with late complications.</p

Star forming dwarf galaxies

Star forming dwarf galaxies (SFDGs) have a high gas content and low metallicities, reminiscent of the basic entities in hierarchical galaxy formation scenarios. In the young universe they probably also played a major role in the cosmic reionization. Their abundant presence in the local volume and their youthful character make them ideal objects for detailed studies of the initial stellar mass function (IMF), fundamental star formation processes and its feedback to the interstellar medium. Occasionally we witness SFDGs involved in extreme starbursts, giving rise to strongly elevated production of super star clusters and global superwinds, mechanisms yet to be explored in more detail. SFDGs is the initial state of all dwarf galaxies and the relation to the environment provides us with a key to how different types of dwarf galaxies are emerging. In this review we will put the emphasis on the exotic starburst phase, as it seems less important for present day galaxy evolution but perhaps fundamental in the initial phase of galaxy formation.Comment: To appear in JENAM Symposium "Dwarf Galaxies: Keys to Galaxy Formation and Evolution", P. Papaderos, G. Hensler, S. Recchi (eds.). Lisbon, September 2010, Springer Verlag, in pres

Impaired Resting-State Functional Integrations within Default Mode Network of Generalized Tonic-Clonic Seizures Epilepsy

Generalized tonic-clonic seizures (GTCS) are characterized by unresponsiveness and convulsions, which cause complete loss of consciousness. Many recent studies have found that the ictal alterations in brain activity of the GTCS epilepsy patients are focally involved in some brain regions, including thalamus, upper brainstem, medial prefrontal cortex, posterior midbrain regions, and lateral parietal cortex. Notably, many of these affected brain regions are the same and overlap considerably with the components of the so-called default mode network (DMN). Here, we hypothesize that the brain activity of the DMN of the GTCS epilepsy patients are different from normal controls, even in the resting state. To test this hypothesis, we compared the DMN of the GTCS epilepsy patients and the controls using the resting state functional magnetic resonance imaging. Thirteen brain areas in the DMN were extracted, and a complete undirected weighted graph was used to model the DMN for each participant. When directly comparing the edges of the graph, we found significant decreased functional connectivities within the DMN of the GTCS epilepsy patients comparing to the controls. As for the nodes of the graph, we found that the degree of some brain areas within the DMN was significantly reduced in the GTCS epilepsy patients, including the anterior medial prefrontal cortex, the bilateral superior frontal cortex, and the posterior cingulate cortex. Then we investigated into possible mechanisms of how GTCS epilepsy could cause the reduction of the functional integrations of DMN. We suggested the damaged functional integrations of the DMN in the GTCS epilepsy patients even during the resting state, which could help to understand the neural correlations of the impaired consciousness of GTCS epilepsy patients